COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.require "let.pub" source
C00003 ENDMK
C⊗;
.require "let.pub" source;
∂AIL Prof. Amir Pnueli↓Computer Science Division↓Tel Aviv University↓
Tel Aviv, Israel∞
Dear Amir:

	Thanks for the letter about Zohar.  No need to send more
reprints; I got your previous letter.  I would like to have you
here during your sabbatical, but I am very doubtful that we can
afford it.  I will write you again as soon as I have discussed
the question with Les and Zohar, but it seems to depend in part
on whether some of our research proposals are accepted, and that
may take longer.

.reg